Internet et après?: Une théorie critique des nouveaux médias, 2me édition

Une Théorie des Constructions Inductives

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Vers une modélisation et une analyse des exigences spatio-temporelles

Requirements Engineering (RE) is a key step in any project aiming at evolving an information system (IS). Current developments, on mobile systems for example, involve a spatial and temporal dimension, often reserved to geographic IS (GIS). This requires more systematic methods for capturing and reasoning about the spatial and temporal nature of requirements. This paper proposes a framework for ...

Théorie du contrôle optimal et calcul des variations

From Théorie Des Distributions

II. Differentiation II.2. Examples of differentiation. The case of one variable (n = 1). II.2.3. Pseudofunctions. Hadamard finite part. We calculate the derivative of a function f(x) which is equal to 0 for x < 0 and 1 √ x for x > 0 (not defined for x = 0). This derivative is surely 0 on the interval (−∞, 0) and equal to the function − 1 2 x in the interval (0,∞) because in each of these two op...